منابع مشابه
Counterexamples to witness conjectures
Consider the class of exp-log constants, which is constructed from the integers using the field operations, exponentiation and logarithm. Let z be such an exp-log constant and let n be its size as an expression. Witness conjectures attempt to give bounds $(n) for the number of decimal digits which need to be evaluated in order to test whether z equals zero. For this purpose, it is convenient to...
متن کاملOn humanizing the expert witness: a proposed narrative approach to expert witness qualification.
Before expert witnesses may testify in court, it is necessary that they be qualified to render an expert opinion. The qualification process has three steps: first, the expert’s training, education, experience, and other indices of qualification are elicited on direct examination by the retaining attorney. Second, a proffer is made to the court of the witness as an expert; the proffer may be cha...
متن کاملWitness to non-termination of linear programs
In his CAV 2004 paper, Tiwari has proved that, for a class of linear programs over the reals, termination is decidable. And Tiwari has shown that the termination of a linear program P1 whose assignment matrix à is not in the Jordan canonical form is equivalent to that of a linear program J1, whose assignment matrix A is in the Jordan Canonical Form. In most cases, the method of Tiwari provides ...
متن کاملHow to Avoid Obfuscation Using Witness PRFs
We propose a new cryptographic primitive called witness pseudorandom functions (witness PRFs). Witness PRFs are related to witness encryption, but appear strictly stronger: we show that witness PRFs can be used for applications such as multi-party key exchange without trsuted setup, polynomially-many hardcore bits for any one-way function, and several others that were previously only possible u...
متن کاملFrom entanglement witness to generalized Catalan numbers
Being extremely important resources in quantum information and computation, it is vital to efficiently detect and properly characterize entangled states. We analyze in this work the problem of entanglement detection for arbitrary spin systems. It is demonstrated how a single measurement of the squared total spin can probabilistically discern separable from entangled many-particle states. For ac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Circulation: Heart Failure
سال: 2011
ISSN: 1941-3289,1941-3297
DOI: 10.1161/circheartfailure.111.963066